Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
71	Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan S. Curley Dr. Richard E. Harang Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:50 Formal languages Cognitive science Academia Cognition Language identification in the limit Grammar induction Recurrent neural network Algorithmic learning theory Context-free grammar Regular language Context-free language Formal grammar
72	Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 11:37:57 Ontology Semantic Web Information science Academia Logic Technical communication Computing Semantics Formal ontology Web Ontology Language Mereology
73	Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:09 Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain
74	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
75	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
76	Motivation Overview Traces Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2016-01-12 05:36:12 Algebra Theoretical computer science Mathematics Logic in computer science Formal methods Models of computation Denotational semantics Semantics Causality Motivation Sheaf Trace
77	Microsoft Word - gmds2004Norm.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2013-11-27 14:16:02 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Formal ontology Barry Smith SNOMED CT Web Ontology Language
78	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
79	Abstract Privacy, Integrity, and Incentive-Compatibility in Computations with Untrusted Parties Sheng Zhong 2004 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-07-28 23:00:33 Security Cryptography Computing Formal sciences Theoretical computer science Secure multi-party computation Cryptographic protocol Mobile agent Algorithm Transmission Control Protocol Computer security
80	IST ProjectWonderWeb: Ontology Infrastructure for the Semantic Web WonderWeb Deliverable D18 Ontology Library (final) Claudio Masolo, Stefano Borgo, Add to Reading List Source URL: www.loa.istc.cnr.it Language: English - Date: 2011-09-21 10:26:45 Ontology Information science Knowledge representation Technical communication Academia Metaphysics Knowledge Formal ontology Upper ontology Applied ontology Mereology Lightweight ontology

UPDATE